Separation logic - PDFSEARCH.IO - Document Search Engine

Separation logic
Results: 136

#	Item
51	Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic Neelakantan R. Krishnaswami CMU-CSJuly 6, 2011 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-06-01 04:55:15
52	MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins Add to Reading List Source URL: rwd.rdockins.name Language: English - Date: 2015-10-04 14:40:34
53	Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Theoretical computer science Logic in computer science Formal methods Constraint programming Electronic design automation Satisfiability modulo theories Separation logic Mathematical logic Logic programming Logic
54	On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-10-22 10:00:51
55	From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:57
56	LNCSFrom Separation Logic to First-Order Logic Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:57
57	MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-04-09 11:54:45 Logic Mathematical logic Philosophy Modal logic Non-classical logic Philosophical logic Model theory Logic in computer science Intuitionistic logic Kripke semantics Multimodal logic Accessibility relation
58	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
59	VisualizeSLE: A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa National University of Singapore Proposal. Separation logic has seen widespread use in program verification, Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-10-05 06:23:45
60	LNCSAutomating Separation Logic Using SMT Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2013-10-16 11:53:39